#include <drivers.h>
#include <clock.h>
#include <string.h>

int main(void)
{
	struct device *led;
	struct device *usart1;
	char buffer[20] = "Hello World!\r\n";

	led = device_find(LED_NAME);
	device_open(led, DEVICE_OFLAG_OPEN);

 	usart1 = device_find(USART1_NAME);
	device_open(usart1, DEVICE_OFLAG_OPEN);

	while(1) {
		device_write(usart1, 0, buffer, strlen(buffer));
		mdelay(1000);
	}

	return 0;
}

